\frame
{
  \frametitle{IAnalysisCache (interface)}
  IAnalysisCache: global cache of {\em analysis objects} and {\em databases}
  \B
  \item An {\em analysis object} stores facts (or probable facts)
        about a class or method
    \B
    \item E.g., an in-memory object representing the class's bytecode
    \item E.g., the results of a null-pointer dataflow analysis on a method
    \E
  \item A {\em database} stores facts about the entire program
    \B
    \item E.g., which methods unconditionally dereference parameters?
    \E
  \E
}
